基于FSA的模型检测算法研究

自动机就是描述系统行为的模型,通过它可以检测出系统实际工作时发生的状态,经过反复测试,诊断,以达到理想的模型。在基于自动机的模型检测中,前提是需要把非确定性FSA转化为确定性FSA,本文给出了非确定性自动机转换为确定性自动机的算法,最后分析该算法。     

一种多用户 MIMO-OFDM 系统的 CQI 有限反馈和量化方案

利用多用户场景下多输入多输出正交频分复用（MIMO—OFDM）系统用户端的信道质量反馈信息和服务质量的相互关系,给出一种以系统吞吐量最大化为指标得到最优量化比特的方案,同时给出了用户误码率限制下的最优量化门限值．它通过推导反馈信道质量信息数与用户传输速率、中断概率之间的数学关系,在用户误码率要求下,设置最优量化门限使系统吞吐量最大化．仿真结果表明：该方案不仅能够满足系统的传输速率和平均误码率要求,还降低了反馈开销．     

钠离子依赖的中性氨基酸转运蛋白SNAT2-HA融合蛋白的构建及鉴定

钠离子依赖的中性氨基酸转运蛋白SNAT2在哺乳动物组织中广泛表达,具有转运中性氨基酸的功能,在谷氨酸-谷氨酰胺循环、肝脏糖质新生等生物通路中发挥重要作用．为了方便测定SNAT2在细胞膜上的表达和定位,本研究采用PCR扩增和酶切连接将HA标签蛋白与SNAT2的C末端连接,构建了真核生物表达载体pBK-CMVA（1098—1300）-SNAT2-HA表达载体．用脂质体转染法将该表达载体瞬时转染到HEK293T细胞中,通过Westernblot法检测到SNAT2-HA融合蛋白在细胞膜上的正确表达和定位．pBK-CMV△（1098-1300）-SNAT2-HA表达载体的成功构建,为今后对SNAT2的结构和功能的研究提供了有效方法．     

云南保山核桃坪铅锌矿区节理特征及其地质意义

运用构造解析方法,遵循共轭节理配套原则对核桃坪铅锌矿区的节理进行逐步分析,该区节理主要分为5组,共配成2套共轭节理,分属近南北向,东西向2个构造期次。据此推断该区节理的形成、发育先后受到该区近南北向和东西向构造期构造应力场作用的影响和制约。同时也很好的从小尺度构造角度反映了矿区主控矿断裂F1的演化。     

4种杀虫剂对黑翅土白蚁的毒力

室内测定4种杀虫剂对黑翅土白蚁工蚁的生物活性.毒力测定结果显示阿维菌素、氟虫氰、灭蚁灵和吡虫啉对黑翅土白蚁工蚁的致死中浓度Lc50值分别为0.154 0 mg/L,0.160 6 mg/L,0.351 2 mg/L和0.136 8 mg/L,表明阿维菌素、氟虫氰和吡虫啉对黑翅土白蚁工蚁的毒力显著高于灭蚁灵(超过后者的2倍),而前三者毒力相当.     

EMD的单次分解频域属性及IMF的生成机理研究

本文通过使用2个单频率信号的组合应用于EMD分解来研究EMD的单次分解的频域属性和探索研究本征模态函数IMF的生成机理.数值实验结果证明,EMD过程中,信号中的最高频率组分通过抽取相对低频信号而生成IMF并决定其频域位置和带宽,数值实验结果也证明了EMD过程中相对高频分量对低频分量的抽取能力的非传递属性,最后给出单次EMD的频域滤波器组结构的示意图,并讨论了EMD和小波的频域结构的异同.     

EM发酵豆渣、鱼杂、鸡血及其粗蛋白含量测定分析

生产生活中产生的农副产品,如豆渣、鱼杂、鸡血等,含有大量的粗蛋白,可以作为一种物美价廉的饲料.本实验在已有研究基础上,利用环境微生物(environment microbe,EM)菌种对其进行发酵处理,采用凯氏定氮法(GB/T6432-94)检测其粗蛋白质含量.发酵结果表明:处理后的豆渣+麦麸、玉米粉+鱼杂、玉米粉+鸡血、玉米粉+豆渣4组材料的粗蛋白含量分别提高2.63、2.62、2.71和2.07个百分点,其营养价值得到有效提高;其中残留的有害物质如重金属、抗生素等能够得以降解消除;病原微生物如某些致病厌氧细菌和大肠杆菌等能得到很好的抑制;同时,饲料的适口性大大提高.     

异常温压复合地层注热流体井井筒传热计算

考虑到储层温度、压力对于注热开采井井筒热损失的重要性,利用热量传递基本理论和能量守恒原理,建立了含有异常温压储层的注热流体井井筒热损失计算模型。分析了地温梯度和地层压力系数对岩石热物性参数的影响,计算了不同流体注入速率和不同隔热层参数下的井筒热损失程度,并讨论了地层温度压力对井筒流体稳定时间和稳定温度的影响。结果表明,对于单一的砂质沉积,地层压力系数越高,岩石的导热系数越大,热扩散系数越小;温度异常对井筒热损失影响较为明显,存在高温、低压地层的井筒热损失小,井筒流体到达稳定状态时温度较高。该模型可用于现场同类油藏的井筒沿程温度预测。     

自组装DNA计算研究难点与展望

随着DNA计算领域研究的深入,自装组DNA计算的研究成为了并行计算领域的研究热点,在本文中,作者主要分析讲述当前自组装DNA计算的几种结构形式：一维的、二维的以及三维的自组装DNA分子结构特点和发展现状,并且提出现在自组装DNA计算发展的难点以及今后的发展展望。随着多学科交叉融合力度的加大,自组装DNA计算将会成为生物信息学、应用数学、计算机仿真学、智能计算、纳米材料科学等多领域专家的重要研究方向。     

广元农业地质调查概况

在现代农业领域中,农业地质研究有着广泛的应用需求。本文就四川省广元市不同区域典型地质地貌背景下特色作物种植的调查作出概述,旨在阐明农业地质在农业布局规划中的重要性。